Recently, a new algebraic structure called pseudo-equality algebra has been defined by Jenei and Kóródi as a generalization of the equality algebra previously introduced by Jenei. As a main result, it was proved that the pseudo-equality algebras are term equivalent with pseudo-BCK meet-semilattices. We found a gap in the proof of this result and we present a counterexample and a correct version of the theorem. The correct version of the corresponding result for equality algebras is also given.

States have been introduced on commutative and non-commutative algebras of fuzzy logics as functions defined on these algebras with values in [0,1]. Starting from the observation that in the definition of Bosbach states there intervenes the standard MV-algebra structure of [0,1], in this paper we introduce Bosbach states defined on residuated lattices with values in residuated lattices. We are led to two types of generalized Bosbach states, with distinct behaviours. Properties of generalized states are useful for the development of an (...) algebraic theory of probabilistic models for non-commutative fuzzy logics. (shrink)

We continue the investigation of generalized Bosbach states that we began in Part I, restricting our research to the commutative case and treating further aspects related to these states. Part II is concerned with similarity convergences, continuity of states and the construction of the s-completion of a commutative residuated lattice, where s is a generalized Bosbach state.